-- card: 58113 from stack: in -- bmap block id: 0 -- flags: 0000 -- background id: 2707 -- name: Automated Reasoning Corp -- part contents for background part 2 ----- text ----- Automated Reasoning Corp. -- part contents for background part 3 ----- text ----- 1800 Northern Blvd., Ste.102 Roslyn, NY 11576 -- part contents for background part 4 ----- text ----- 516-484-6254